#ifndef UTIL_HPP
#define UTIL_HPP

int get_random_seed();

#endif // UTIL_HPP